Design and implementation of instruction indirection for embedded software obfuscation

نویسندگان

  • Naoki Fujieda
  • Tasuku Tanaka
  • Shuichi Ichikawa
چکیده

Instruction Register File (IRF) was originally proposed to reduce the power consumption of a microprocessor by providing the indirect access to frequently executed instructions. The IRF is also an attractive and cost-effective unit to protect embedded software from analysis, plagiarism, and falsification. For this purpose, the correspondences between IRF entries and their original instructions must be concealed. This means the instructions in the IRF should be carefully selected both to have more instructions be executed through the IRF and to flatten the distribution of the indices of the IRF. This paper presents two heuristic algorithms, precision-oriented and time-oriented, to find sub-optimal assignments to the IRF. According to the evaluation results, the precision-oriented algorithm obtained the same as or very close to the optimal assignment of an IRF with 48 or less entries. The time-oriented algorithm found a sub-optimal assignment of a 1024-entry IRF in 16 milliseconds, whose precision was 0.5% inferior to the precision-oriented solution at a maximum. The hardware cost of a 1024-entry IRF on an FPGA was modest: 2 RAM elements and 0.8% increase of the logic elements.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

HOP: Hardware makes Obfuscation Practical

Program obfuscation is a central primitive in cryptography, and has important real-world applications in protecting software from IP theft. However, well known results from the cryptographic literature have shown that software only virtual black box (VBB) obfuscation of general programs is impossible. In this paper we propose HOP, a system (with matching theoretic analysis) that achieves simula...

متن کامل

Object-Oriented ASIP Design and Synthesis

SystemC-Plus from the ODETTE project provides the ability to simulate and synthesise object-oriented specifications into hardware. The current ODETTE compiler translates each object instance into a finite state machine; this effectively duplicates (modulo dead code removal) in hardware the methods of a class for each of its instances. We describe an alternative synthesis approach which parallel...

متن کامل

Design and Implementation of a Reactor Physics Laboratory Simulation Software

The basic structure of a reactor physics laboratory environment simulation software, developed using object modeling technique (OMT), and based on the reactor point kinetic equation, is presented. Also, various capabilities of the simulator in teaching the fundamental concepts of reactor physics are discussed. In this virtual laboratory, student can perform seven different experiments, ...

متن کامل

Design and Implementation of a Reactor Physics Laboratory Simulation Software

The basic structure of a reactor physics laboratory environment simulation software, developed using object modeling technique (OMT), and based on the reactor point kinetic equation, is presented. Also, various capabilities of the simulator in teaching the fundamental concepts of reactor physics are discussed. &#10 In this virtual laboratory, student can perform seven different experiments...

متن کامل

Modeling and Monitoring of Hierarchical State Machines in Scala

Hierarchical State Machines (HSMs) are widely used in the design and implementation of spacecraft flight software. However, the traditional approach to using HSMs involves graphical languages (such as UML statecharts) from which implementation code is generated (e.g. in C or C). This is driven by the fact that state transitions in an HSM can result in execution of action code, with associated s...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Microprocessors and Microsystems - Embedded Hardware Design

دوره 45  شماره 

صفحات  -

تاریخ انتشار 2016